<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>ExpectedOutcomeTable (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="ExpectedOutcomeTable (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/ExpectedOutcomeTable.html" target="_top">Frames</a></li>
<li><a href="ExpectedOutcomeTable.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">randoop.condition</div>
<h2 title="Class ExpectedOutcomeTable" class="title">Class ExpectedOutcomeTable</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">java.lang.Object</a></li>
<li>
<ul class="inheritance">
<li>randoop.condition.ExpectedOutcomeTable</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<br>
<pre>public class <span class="typeNameLabel">ExpectedOutcomeTable</span>
extends <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></pre>
<div class="block">An ExpectedOutcomeTable collects all the permitted outcomes for a set of methods (where the
 methods are all in an overriding relationship) and a set of prestate values. The set of expected
 or permitted outcomes is those whose preconditions or conditions are satisfied.

 <p>A method implementation must satisfy not only the specification written on it, but also any
 written on method declarations that it overrides or implements.

 <p>One possible implementation would be to record a collection of single-method outcomes, where
 each single-method outcome represents checks of the prestate <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a>s: for the <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a>, the
 <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a>, and <a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition"><code>GuardThrowsPair</code></a> for an operation call.
 ExpectedOutcomeTable is not implemented that way: it does some pre-processing and throws away
 certain of the information as it is added. (It's unclear whether this is the best choice, or
 whether the more straightforward implementation would enable simpler and more understandable code
 at the cost of a bit of extra processing to be done later.)

 <p>This implementation records:

 <ol>
   <li>Whether any guard expression for the <a href="../../randoop/condition/specification/Precondition.html" title="class in randoop.condition.specification"><code>Precondition</code></a>
       fails, or all are satisfied.
   <li>The set of <a href="../../randoop/condition/specification/ThrowsCondition.html" title="class in randoop.condition.specification"><code>ThrowsCondition</code></a> objects for expected
       exceptions. An exception is expected if the guard of a <a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition"><code>GuardThrowsPair</code></a> is
       satisfied.
   <li>The expected postcondition (an <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a>), if any.
 </ol>

 <p>To create an ExpectedOutcomeTable, call <a href="../../randoop/condition/ExecutableSpecification.html#checkPrestate-java.lang.Object:A-"><code>ExecutableSpecification.checkPrestate(Object[])</code></a>. To use an ExpectedOutcomeTable, call <a href="../../randoop/condition/ExpectedOutcomeTable.html#addPostCheckGenerator-randoop.test.TestCheckGenerator-"><code>addPostCheckGenerator(TestCheckGenerator)</code></a> to create a <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test"><code>TestCheckGenerator</code></a> that
 classifies a method call as follows:

 <ol>
   <li>For each table entry with a non-empty expected exception set
       <ul>
         <li>If an exception is thrown by the call and the thrown exception is a member of the
             set, then classify as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#EXPECTED"><code>GenInputsAbstract.BehaviorType.EXPECTED</code></a>.
         <li>If an exception is thrown by the call and the thrown exception is not a member of the
             set, classify as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#ERROR"><code>GenInputsAbstract.BehaviorType.ERROR</code></a> (because
             the specification required an exception to be thrown, but it was not thrown).
         <li>If no exception is thrown, then classify as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#ERROR"><code>GenInputsAbstract.BehaviorType.ERROR</code></a>.
       </ul>

   <li>If for each table entry, the preconditions failed, classify as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#INVALID"><code>GenInputsAbstract.BehaviorType.INVALID</code></a>.
   <li>For each table entry where all preconditions were satisfied, check the corresponding normal
       post-condition property, if one exists. If any such property fails, then classify as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#ERROR"><code>GenInputsAbstract.BehaviorType.ERROR</code></a>.
   <li>Otherwise, don't classify (let classification fall through).
 </ol></div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition">ThrowsClause</a>&gt;&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#exceptionSets">exceptionSets</a></span></code>
<div class="block">The list of lists of throws clauses for which the guard expression was satisfied.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#hasSatisfiedPrecondition">hasSatisfiedPrecondition</a></span></code>
<div class="block">Indicates whether the precondition was satisfied for at least one row of the table.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>private boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#isEmpty">isEmpty</a></span></code>
<div class="block">Indicates whether this table is empty.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>private <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#postConditions">postConditions</a></span></code>
<div class="block">The list of post-conditions whose guard expression was satisfied.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#ExpectedOutcomeTable--">ExpectedOutcomeTable</a></span>()</code>
<div class="block">Creates an empty <a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition"><code>ExpectedOutcomeTable</code></a>.</div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>(package private) void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#add-boolean-randoop.condition.ExecutableBooleanExpression-java.util.List-">add</a></span>(boolean&nbsp;guardIsSatisfied,
   <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&nbsp;postcondition,
   <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition">ThrowsClause</a>&gt;&nbsp;throwsClauses)</code>
<div class="block">Adds one operation to this table.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code><a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#addPostCheckGenerator-randoop.test.TestCheckGenerator-">addPostCheckGenerator</a></span>(<a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen)</code>
<div class="block">Constructs the <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test"><code>TestCheckGenerator</code></a> that will test for expected <a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition"><code>ThrowsClause</code></a>s or
 postconditions as follows:

 
   If this table is empty, returns the given generator.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../randoop/condition/ExpectedOutcomeTable.html#isInvalidCall--">isInvalidCall</a></span>()</code>
<div class="block">Indicate whether the call should be classified as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#INVALID"><code>GenInputsAbstract.BehaviorType.INVALID</code></a>.)</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true" title="class or interface in java.lang">Object</a></h3>
<code><a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#clone--" title="class or interface in java.lang">clone</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#equals-java.lang.Object-" title="class or interface in java.lang">equals</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#finalize--" title="class or interface in java.lang">finalize</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#getClass--" title="class or interface in java.lang">getClass</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#hashCode--" title="class or interface in java.lang">hashCode</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notify--" title="class or interface in java.lang">notify</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#notifyAll--" title="class or interface in java.lang">notifyAll</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#toString--" title="class or interface in java.lang">toString</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait--" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-" title="class or interface in java.lang">wait</a>, <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/Object.html?is-external=true#wait-long-int-" title="class or interface in java.lang">wait</a></code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="isEmpty">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isEmpty</h4>
<pre>private&nbsp;boolean isEmpty</pre>
<div class="block">Indicates whether this table is empty.</div>
</li>
</ul>
<a name="hasSatisfiedPrecondition">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>hasSatisfiedPrecondition</h4>
<pre>private&nbsp;boolean hasSatisfiedPrecondition</pre>
<div class="block">Indicates whether the precondition was satisfied for at least one row of the table.</div>
</li>
</ul>
<a name="postConditions">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>postConditions</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&gt; postConditions</pre>
<div class="block">The list of post-conditions whose guard expression was satisfied.</div>
</li>
</ul>
<a name="exceptionSets">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>exceptionSets</h4>
<pre>private final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition">ThrowsClause</a>&gt;&gt; exceptionSets</pre>
<div class="block">The list of lists of throws clauses for which the guard expression was satisfied. Each list of
 throwsclauses represents one specification, and each such list must be satisfied.</div>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="ExpectedOutcomeTable--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ExpectedOutcomeTable</h4>
<pre>public&nbsp;ExpectedOutcomeTable()</pre>
<div class="block">Creates an empty <a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition"><code>ExpectedOutcomeTable</code></a>.</div>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="add-boolean-randoop.condition.ExecutableBooleanExpression-java.util.List-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>add</h4>
<pre>void&nbsp;add(boolean&nbsp;guardIsSatisfied,
         <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a>&nbsp;postcondition,
         <a href="https://docs.oracle.com/javase/8/docs/api/java/util/List.html?is-external=true" title="class or interface in java.util">List</a>&lt;<a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition">ThrowsClause</a>&gt;&nbsp;throwsClauses)</pre>
<div class="block">Adds one operation to this table.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>guardIsSatisfied</code> - boolean value indicating whether all guard expressions are satisfied</dd>
<dd><code>postcondition</code> - property expression that must be true in post-state if no exception is
     thrown</dd>
<dd><code>throwsClauses</code> - set of <code>&lt;exception type, comment&gt;</code> pairs for exceptions expected in
     post-state</dd>
</dl>
</li>
</ul>
<a name="isInvalidCall--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>isInvalidCall</h4>
<pre>public&nbsp;boolean&nbsp;isInvalidCall()</pre>
<div class="block">Indicate whether the call should be classified as <a href="../../randoop/main/GenInputsAbstract.BehaviorType.html#INVALID"><code>GenInputsAbstract.BehaviorType.INVALID</code></a>.)

 <p>Occurs when all guard expressions fail and there are no expected exceptions.

 <p>This method should be called after all entries are added; that is, no more entries should be
 added after it is called.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>true iff guard expressions of all specifications are unsatisfied, and there are no
     expected exceptions</dd>
</dl>
</li>
</ul>
<a name="addPostCheckGenerator-randoop.test.TestCheckGenerator-">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>addPostCheckGenerator</h4>
<pre>public&nbsp;<a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;addPostCheckGenerator(<a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test">TestCheckGenerator</a>&nbsp;gen)</pre>
<div class="block">Constructs the <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test"><code>TestCheckGenerator</code></a> that will test for expected <a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition"><code>ThrowsClause</code></a>s or
 postconditions as follows:

 <ul>
   <li>If this table is empty, returns the given generator.
   <li>If this table has expected exceptions, then returns a <a href="../../randoop/test/ExpectedExceptionGenerator.html" title="class in randoop.test"><code>ExpectedExceptionGenerator</code></a>
       to check for those exceptions.
   <li>If all preconditions fail, then return an <a href="../../randoop/test/InvalidCheckGenerator.html" title="class in randoop.test"><code>InvalidCheckGenerator</code></a>.
   <li>if any <a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><code>GuardPropertyPair</code></a> has a satisfied guard expression, then extend the given
       generator with a <a href="../../randoop/test/PostConditionCheckGenerator.html" title="class in randoop.test"><code>PostConditionCheckGenerator</code></a>.
 </ul></div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>gen</code> - the generator to extend</dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the <a href="../../randoop/test/TestCheckGenerator.html" title="class in randoop.test"><code>TestCheckGenerator</code></a> to check for expected outcomes in this table</dd>
</dl>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/ExpectedOutcomeTable.html" target="_top">Frames</a></li>
<li><a href="ExpectedOutcomeTable.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
